Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
201	LIQUID TEMPERA A RANGE OF 27 COLOURS Bottles : 500 mL - 1 L - 2 L STANDARD COLOURS LEMON YELLOW Add to Reading List Source URL: www.artevertice.com Language: French - Date: 2011-08-24 07:01:52
202	Acute: High-Level Programming Language Design for Distributed Computation Peter Sewell∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-07-10 10:11:31 Functional languages Procedural programming languages C programming language Type theory C++ Standard ML ALGOL 68 Type system ATS Software engineering Programming language theory Computing
203	Acute High-level programming language design for distributed computation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-10-12 04:46:10 Functional languages Procedural programming languages Type theory Models of computation Program analysis Type system Standard ML Type safety Programming language Software engineering Computing Programming language theory
204	1 Under consideration for publication in J. Functional Programming Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-04-11 12:18:52 Type theory Functional languages Procedural programming languages Data types C++ Standard ML Type system Type safety Programming language Software engineering Computing Programming language theory
205	Erlang’s Exception Handling Revisited Richard Carlsson Add to Reading List Source URL: www.erlang.se Language: English - Date: 2004-10-04 08:10:36 Functional languages Control flow Procedural programming languages Exception handling Erlang Subroutine Common Lisp Pattern matching Standard ML Software engineering Computer programming Computing
206	Gating-ML 2.0 International Society for Advancement of Cytometry (ISAC) standard for representing gating descriptions in flow cytometry Add to Reading List Source URL: flowcyt.sourceforge.net Language: English - Date: 2013-01-22 14:53:05 Cell biology Markup languages Clinical pathology Flow cytometry Gating Gate XML Data transformation Biology Computing Data
207	Functional Programming and Specification Lecture Note 1, 4 February 2011 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-02-03 19:33:18 Procedural programming languages Functional languages Evaluation strategy ML ALGOL 68 Lazy evaluation Function Standard ML Software engineering Programming language theory Computing
208	Unix System Programming with Standard ML Add to Reading List Source URL: mlton.org Language: English - Date: 2013-08-13 11:49:44 Server Server hardware Transmission Control Protocol Standard ML of New Jersey Getopt Unix Hypertext Transfer Protocol Ip Computing Software World Wide Web
209	Under consideration for publication in J. Functional Programming 1 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2004-06-25 11:24:49 Functional languages Procedural programming languages Subroutines Data types Functional programming Standard ML ML ALGOL 68 Caml Software engineering Computing Computer programming
210	Understanding and Evolving the ML Module System Derek Dreyer Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:42:03 Functional languages Procedural programming languages Type theory ML Type system Standard ML of New Jersey Programming language OCaml Module Software engineering Computing Programming language theory